the definite integral with e